Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 1.Ident. | Authors (with country if any) | Title |
---|---|---|
008794 | Dominique Cansell [France] ; Ganesh Gopalakrishnan [États-Unis] ; Mike Jones [États-Unis] ; Dominique Méry [France] ; Airy Weinzoepflen [France] | Incremental Proof of the Producer/Consumer Property for the PCI Protocol |
This area was generated with Dilib version V0.6.33. |